A Testing Pattern for Automatic Control Software Addressing Different Degrees of Process Autonomy and Cooperation
نویسندگان
چکیده
This article considers different automatic control paradigms allowing for varying degrees of agent cooperation and autonomy. In order to support the automatic verification of safety-relevant software controllers, it proposes the use of a generic testing pattern which can be instantiated such as to allow to optimize automatic test data generation with respect to the specific targets of the application considered and of the testing phase involved. The article reports on successful case studies carried out in different real-world environments.
منابع مشابه
Optimizing Cost Function in Imperialist Competitive Algorithm for Path Coverage Problem in Software Testing
Search-based optimization methods have been used for software engineering activities such as software testing. In the field of software testing, search-based test data generation refers to application of meta-heuristic optimization methods to generate test data that cover the code space of a program. Automatic test data generation that can cover all the paths of software is known as a major cha...
متن کاملAn automatic test case generator for evaluating implementation of access control policies
One of the main requirements for providing software security is the enforcement of access control policies which aim to protect resources of the system against unauthorized accesses. Any error in the implementation of such policies may lead to undesirable outcomes. For testing the implementation of access control policies, it is preferred to use automated methods which are faster and more relia...
متن کاملManaged Pressure Drilling Using Integrated Process Control
Control of wellbore pressure during drilling operations has always been important in the oil industry as this can prevent the possibility of well blowout. The present research employs a combination of automatic process control and statistical process control for the first time for the identification, monitoring, and control of both random and special causes in drilling operations. To this end, ...
متن کاملInvestigating a Systematic Approach to the Promotion of EFL Learners’ Autonomy
Abstract Autonomy is the ability to take charge of one’s own learning. However, this ability is not inborn and must be acquired by formal instruction (Holec, 1981). Therefore, to offer a systematic approach to the devel-opment of learner autonomy in language learning process, Benson (2001) argues that learner autonomy is described in terms of learners’ control over the three dimensions of lea...
متن کاملThe Kinematic Analysis Of Four Degrees Of Freedom For A Medical Robot And Control It By Labview And Arduino Mega2560 (Simulation And Implementation)
ABSRACTThis study presents the kinematic analysis of a four-degree freedom medical robotic arm using the Matlab and the robotic-tool, the arm was designed using a solid work program, As well as details of the control of the real design of this arm using Arduino Mega 2560, The specialist enters the position to be reached by the automatic arm (injection position), Or moving the arm to any p...
متن کامل